A bridge between constructive logic and computer programming

Negation in Logic Programming: A Formalization in Constructive Logic

The conventional formalization of logic programming in classical logic explains very convincingly the basic principles of this programming style. However, it gives no easy or intuitive explanations for the treatment of negation. Logic Programming handles negation through the so-called ^Negation as Failure" inference principle which is rather unconventional from the viewpoint of classical logic....

On Constructive Negation in Logic Programming

Multi-adjoint Fuzzy Logic Programming with Defaults and Constructive Answers

In this paper we present the semantics of RFuzzy, a fuzzy Logic Programming framework that represents truth values using real numbers from the unit interval. RFuzzy provides some useful extensions: default values to represent missing information, and typed arguments to intuitively restrict predicate domains. Together, they allow the system to provide constructive answers when querying for indiv...

A connection between Similarity Logic Programming and Gödel Modal Logic

In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where 3p is understood as approximately p. Here...

Learning Semantic Grammars with Constructive Inductive Logic Programming

Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be viewed as the learning of search-control heuristics in a logic program. Appropriate control rules are learned using a new rst-order induction algorithm that automatically invents useful syntactic and semantic categories....